var a01865 =
[
    [ "flags", "a01865.html#a29bb851466268efcf57e7e81e2d0ab09", null ],
    [ "hDDE", "a01865.html#a4972111cfc06fe665c9de97d85abb5cc", null ]
];